科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:PRISM 4.0:验证概率实时系统
Marta Kwiatkowska; Gethin Norman; David Parker;
机译:关于验证概率实时系统自动机规格的说明
机译:验证分布式概率实时系统的自动机规范
机译:使用概率论逻辑规范验证并发概率论系统
机译:实时操作系统:一项比较研究。 Windows NT 4.0和Linux之间的比较研究。
机译:患者远程干预和症状管理系统(PRISMS)–一种远程医疗介导的干预措施可实时监测血液系统恶性肿瘤患者的化疗副作用:一项随机对照试验的研究方案
机译:具有中交易输入和比例输出的概率实时控制系统
机译:基于电话级别对数似然比和电话持续时间的概率分布的使用单词声纹模型的话语验证系统和方法
机译:基于电话对数似然比的概率分布和电话持续时间的基于单词语音模型的话音验证系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。